Alexander W. Hall - Demonstration and Scientific Knowledge in William of Ockham: A Translation of Summa Logicae III-II: De Syllogismo Demonstrativo, and Selections from the Prologue to the Ordinatio - Journal of the History of Philosophy 46:1 Journal of the History of Philosophy 46.1 170-172 Muse Search Journals This Journal Contents Reviewed by Alexander W. Hall Clayton State University John Lee Longeway, translator. Demonstration and Scientific Knowledge in William of Ockham: A Translation of Summa Logicae III–II: De Syllogismo (...) Demonstrativo, and Selections from the Prologue to the Ordinatio. Notre Dame, IN: University of Notre Dame Press, 2007. Pp. xx + 432. Cloth, $58.00. William of Ockham never delivered his promised exposition of Posterior Analytics. In its place, we have Summa Logicae III–II, and the Prologue to his Ordinatio... (shrink)

University of Oslo and Norwegian School of Economics and Business Administration, Norway We look at how one should reward effort without rewarding talent. One way to approach this issue is to ask how an increase in one individual's effort should be allowed to affect the post-tax income of others. The article provides characterizations of three main classes of redistribution mechanism on the basis of how these answer this question. Key Words: reward • effort • responsibility • equal opportunity • distributive (...) justice. (shrink)

It is a central political goal to secure disabled individuals the same opportunities as others to pursue their conception of a good life. This goal reflects an ambition to combine an egalitarian and a liberal moral intuition. In this article, we analyse how disabled individuals who take part in economic activity should be compensated in order to respect these two intuitions. The article asks how a system of disability compensation should be structured and what the level of such compensation should (...) be. It also analyses how the answers to these questions depend on whether the disabled individuals are held responsible for their choice of work effort. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Sartre rationalizes sexuality much like Plato. Rationalization here refers to the way Sartre tries to facilitate explanation by changing the terms of the discussion from sexual to nonsexual concepts. As a philosophy which, above all, highlights those features of human existence which seem most resistant to explanation, one would expect existentialism to highlight sexuality as a category that is crucial for considering human existence. Descartes comes immediately to mind when one focuses on Sartre's major categories. In Sartre's case however, it (...) is not mind and matter but consciousness and its opposite: "nothingness" and "being." This irreducible dualism is the key to the trouble human beings have with existence. Humans try to deal with the tensions implied by this dualism by trying to pretend people are not subjects but objects. Sartre calls this "bad faith." He begins by attempting to take human sexuality seriously as a fundamental category, but ends by abandoning the effort in favor of other substitutes. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Quantum mechanics was initiated with the object of allowing only observable concepts to enter into the theory. The new mechanics has, however, inherited the old difficulty with the conservation laws involved in beta decay, and this led Pauli, about 1931, to introduce the idea of the neutrino, with the object of reconciling the facts of beta decay with the conservation laws. The neutrino, as it was proposed by Pauli and as accepted today, is a particle devoid both of mass and (...) charge, but having a spin 1/2 and obeying the Fermi statistics. In 1934 Fermi founded his theory of beta disintegration based on the neutrino. The Fermi theory assumes that this hypothetical particle is emitted simultaneously with the disintegrating electron and carries off the excess energy, thereby reconciling the conservation laws with beta disintegration. It will be remembered that the continuous distribution in energy of the beta particles is such that, except at the maximum energy end point of the beta spectra, there is more energy available from the disintegration than is emitted in the form of beta particles. (shrink)

The scaling of body parts is central to the evolution of morphology and shape. Most traits scale proportionally with each other and body size such that larger adults are essentially magnified versions of smaller ones. This pattern is so ubiquitous that departures from it – disproportionate scaling between trait and body size – pique interest because it can generate dramatically exaggerated traits. These extreme morphologies are frequently hypothesized to result from sexual selection and their study has a long history, with (...) several hypotheses seeking to explain their evolution. Despite this effort, surprisingly little progress has been made in demonstrating the forms of selection that produce different scaling patterns or in identifying the mechanisms that underlie the expression and evolution of scaling relationships. Here we review recent insights regarding the proximate mechanisms that regulate and integrate trait growth and that offer a new framework for studying the evolution of morphological scaling. (shrink)

It is shown that one common formulation of Stalnaker's semantics for conditionals is incomplete: it has no sound and (strongly) complete proof system. At first, this seems to conflict with well-known completeness results for this semantics (e.g., Stalnaker and Thomason 1967; Stalnaker 1970 and Lewis 1973, ch. 6). As it turns out, it does not: these completeness results rely on another closely-related formulation of the semantics that is provably complete. Specifically, the difference comes down to how the Limit Assumption is (...) stated. I close with some remarks about what this means for the logic of conditionals. (shrink)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

"Aristotle was a systematic writer who often cross-referred to the definitions of terms given elsewhere in his work. Book 5 of the Metaphysics is important because it consists of definitions of the main uses of key terms in Aristotle's philosophy, and it is extremely valuable to have a commentary on this important text by Alexander of Aphrodisias, the leading commentator of his school. Alexander provides a detailed commentary on all of the thirty terms analysed in Book 5, weighing (...) alternative interpretations of what Aristotle says one against another, defending Peripatetic views against actual and possible criticisms, and attempting to integrate what is said in Book 5 into the context of the Metaphysics as a whole."--Bloomsbury Publishing. (shrink)

These suggestions for the betterment and elucidation of the text of the De Beneficiis are additional to those already published in the Classical Quarterly in January, 1934. They are based on a conviction much deepened since that time that Buck1 is right when he says: N allein, und zwar ohne seine Ueberarbeitungen von späteren Händen, darf die Grundlage des Textes von de beneficiis bilden. Préchac3, the latest critical editor in this field, substantially confirms Buck's sweeping conclusion by an independent survey (...) of the evidence. The readings designated in the Teubner text3 as N2 and N3 are themselves conjectures, not readings drawn from independent sources of testimony, and as conjectures they must be judged. Gertz4 had long before discerned the truth even if he seemed somewhat cavalier in his attitude toward other manuscripts than N. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

THE PROBLEM OF THE INTERPRETATION OF HAMANN Johann Georg Hamann is an intriguing but poorly known figure in the contemporary intellectual world. Yet this is the man whom Kierkegaard saluted as "Emperor!", whose writings were to have been arranged for publication by none other than Goethe himself, and whom Dilthey numbered among the primordial figures in the rise of modern historical consciousness. There are reasons for the persistence of this general ignorance. Hamann is deep. And, in addition, there is his (...) forbidding style. The readers of Kierkegaard and Dilthey, two other giants who them selves achieved late recognition, have not had to face this kind of imposing obstacle. Not only does Hamann expect his readers to handle themselves in deep water, but to intuit their way between his ideas which bob up like islands with no visible connection between them. Like Kierkegaard too, Hamann has had his troubles with the public. He himself referred to the hope that he would be understood by a "better posterity". In fact only the last few years have seen the printing of some of his more controversial writings, in particular his theories on the nature of human sexuality. (shrink)

ABSTRACT The phrase “Enlightenment rhetoric” typically denotes discourses bent on rejecting classical oratorical styles in favor of purportedly scientific ones. Likewise, scholars often associate Enlightenment rhetorical styles with the scientific epistemologies that emerged in the seventeenth and eighteenth centuries. This article reconsiders Enlightenment rhetoric by analyzing David Hume’s 1742 essay “Of Eloquence.” More specifically, the article argues that the Scottish Enlightenment context necessitated a rhetoric that compensated for the discursive limitations of new scientific worldviews. In so doing, the article argues (...) that Hume verbalizes the transcendent dimension of classical eloquence in ways commensurate with the emphasis on perspicuity emerging in English culture, a rhetorical maneuver that the author calls discursive transcendence. Hume’s “Of Eloquence” thus serves as a case study demonstrating how an Enlightenment writer advanced a rhetoric that both rejects and pulls from prior rhetorical traditions, constituting a new understanding of Enlightenment rhetoric. (shrink)

This commentary argues that the observed heterogeneity in fairness views, documented in many economic experiments, poses a challenge to the partner choice theory developed by Baumard et al. It also discusses the extent to which their theory can explain how people consider inequalities due to pure luck.

A supplemental document for "Metalinguistic Gradability".

Recently, Yudkowsky and Soares (2018) and Levinstein and Soares (2020) have developed a novel decision theory, Functional Decision Theory (FDT). They claim FDT outperforms both Evidential Decision Theory (EDT) and Causal Decision Theory (CDT). Yet FDT faces several challenges. First, it yields some very counterintuitive results (Schwarz 2018; MacAskill 2019). Second, it requires a theory of counterpossibles, for which even Yudkowsky and Soares (2018) and Levinstein and Soares (2020) admit we lack a “full” or “satisfactory” account. Here, I focus on (...) the latter problem of counterpossibles. My aim is to establish two claims. First, the problem of counterpossibles does not even arise without a fairly strong assumptionone that rarely applies to human agents, but may apply to artificial agents. And second, even given this assumption, the problem is solvable, though how best to solve it remains an open question. (shrink)